Combinational functors on co-r.e. structures
نویسندگان
چکیده
منابع مشابه
Simplicial Structures on Model Categories and Functors
We produce a highly structured way of associating a simplicial category to a model category which improves on work of Dwyer and Kan and answers a question of Hovey. We show that model categories satisfying a certain axiom are Quillen equivalent to simplicial model categories. A simplicial model category provides higher order structure such as composable mapping spaces and homotopy colimits. We ...
متن کاملQf Functors and (co)monads
One reason for the universal interest in Frobenius algebras is that their characterisation can be formulated in arbitrary categories: a functor K : A → B between categories is Frobenius if there exists a functor G : B → A which is at the same time a right and left adjoint of K; a monad F on A is a Frobenius monad provided the forgetful functor AF → A is a Frobenius functor, where AF denotes the...
متن کاملGalois Functors and Entwining Structures
Galois comodules over a coring can be characterised by properties of the relative injective comodules. They motivated the definition of Galois functors over some comonad (or monad) on any category and in the first section of the present paper we investigate the role of the relative injectives (projectives) in this context. Then we generalise the notion of corings (derived from an entwining of a...
متن کاملAmari Functors and Dynamics in Gauge Structures
We deal with finite dimensional differentiable manifolds. All items are concerned with are differentiable as well. The class of differentiability is C∞. A metric structure in a vector bundle E is a constant rank symmetric bilinear vector bundle homomorphism of E × E in the trivial bundle line bundle. We address the question whether a given gauge structure in E is metric. That is the main concer...
متن کاملOn the Smoothness of Functors
In this paper we will try to introduce a good smoothness notion for a functor. We consider properties and conditions from geometry and algebraic geometry which we expect a smooth functor should has.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Annals of Mathematical Logic
سال: 1976
ISSN: 0003-4843
DOI: 10.1016/0003-4843(76)90010-3